Isometries and Computability Structures
نویسنده
چکیده
We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), where (X, d) is a given metric space. In the case of Euclidean space, α and β are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space and we use it in the proof of the following result: if (X, d,α) is effectively totally bounded, then (X, d, β) is also effectively totally bounded. This means that the property that a computable metric space is effectively totally bounded (and in particular effectively compact) depends only on the underlying metric space. In the final section of this paper we examine compact metric spaces (X, d) such that there are only finitely many isometries X → X. We prove that in this case a stronger result holds than the previous one: if (X, d, α) is effectively totally bounded, then α and β are equivalent. Hence if (X, d, α) is effectively totally bounded, then (X, d) has a unique computability structure.
منابع مشابه
Computability theory and differential geometry
Let M be a smooth, compact manifold of dimension n ≥ 5 and sectional curvature |K| ≤ 1. Let Met(M) = Riem(M)/Diff(M) be the space of Riemannian metrics on M modulo isometries. Nabutovsky and Weinberger studied the connected components of sublevel sets (and local minima) for certain functions on Met(M) such as the diameter. They showed that for every Turing machine Te, e ∈ ω, there is a sequence...
متن کاملOn Commutators of Isometries and Hyponormal Operators
A sufficient condition is obtained for two isometries to be unitarily equivalent. Also, a new class of M-hyponormal operator is constructed
متن کاملSome properties of Diametric norm and its isometries on B_0 (Bbb R)$
This article has no abstract.
متن کاملON GENERALIZED FUZZY MULTISETS AND THEIR USE IN COMPUTATION
An orthogonal approach to the fuzzification of both multisets and hybridsets is presented. In particular, we introduce $L$-multi-fuzzy and$L$-fuzzy hybrid sets, which are general enough and in spirit with thebasic concepts of fuzzy set theory. In addition, we study the properties ofthese structures. Also, the usefulness of these structures is examined inthe framework of mechanical multiset proc...
متن کاملComputability structures, simulations and realizability
We generalize the standard construction of realizability models (specifically, of categories of assemblies) to a wide class of computability structures, broad enough to embrace models of computation such as labelled transition systems and process algebras. We consider a general notion of simulation between such computability structures, and show how these simulations correspond precisely to cer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 16 شماره
صفحات -
تاریخ انتشار 2010